School of Science and Technology

Results: 4202



#Item
31

λ-calculus and types Lecture notes Midland Graduate School / APPSEM Spring School 2004 Thorsten Altenkirch School of Computer Science and Information Technology, Nottingham University

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2006-05-01 19:38:15
    32

    DFPC: A Dynamic Frequent Pattern Compression Scheme in NVM-based Main Memory Yuncheng Guo, Yu Hua∗ , Pengfei Zuo Wuhan National Laboratory for Optoelectronics, School of Computer Science and Technology Huazhong Univers

    Add to Reading List

    Source URL: csyhua.github.io

    - Date: 2018-03-29 07:20:56
      33

      Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.uk

      Add to Reading List

      Source URL: personal.cis.strath.ac.uk

      - Date: 2015-07-09 09:31:03
        34

        A Write-friendly Hashing Scheme for Non-volatile Memory Systems Pengfei Zuo and Yu Hua Wuhan National Laboratory for Optoelectronics School of Computer, Huazhong University of Science and Technology, Wuhan, China Corresp

        Add to Reading List

        Source URL: csyhua.github.io

        - Date: 2018-03-29 07:20:56
          35

          Justine Cassell Associate Dean, Technology Strategy and Impact, School of Computer Science Professor, Language Technologies & Human-Computer Interaction Carnegie Mellon University Gates 5107, 5000 Forbes Avenue Pittsburg

          Add to Reading List

          Source URL: www.justinecassell.com

          - Date: 2017-05-08 14:04:52
            36

            Analyzing Intrinsic Motion Textures Created from Naturalistic Video Captures Angus Graeme Forbes1 , Christopher Jette1 and Andrew Predoehl2 1 School of Information: Science, Technology, and Arts, University of Arizona,

            Add to Reading List

            Source URL: cj.lovelyweather.com

            - Date: 2014-03-24 00:18:14
              37

              Multiagent Simulation Model Design Strategies Franziska Kl¨ugl School of Science and Technology ¨ ¨ Orebro

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-08-04 19:10:34
                38

                Demo Abstract: EVAPS: Edge Video Analysis for Public Safety Qingyang Zhang∗‡ , Zhifeng Yu† , Weisong Shi‡ and Hong Zhong∗ School of Computer Science and Technology, Anhui University, China † Mobihealth Techno

                Add to Reading List

                Source URL: www.cs.wayne.edu

                - Date: 2016-08-24 10:28:06
                  39

                  2006 Award Winner: District Leadership of the Year in Science, Math and Technology Dr. Cameron M. McCune Superintendent, Fullerton School District What is your vision of “innovation in education”? Dr. McCune’s visi

                  Add to Reading List

                  Source URL: tomorrow.org

                  - Date: 2013-08-25 15:19:07
                    40

                    VITERBI – INDIA PROGRAM 2016 The Viterbi School of Engineering, University of Southern California and the Indo - US Science and Technology Forum (IUSSTF) are pleased to announce the candidates selected for the prestigi

                    Add to Reading List

                    Source URL: www.iusstf.org

                    - Date: 2016-01-22 04:26:24
                      UPDATE